Published in: DARTS, Volume 8, Issue 2, Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). In Special Issue of the 36th European Conference on Object-Oriented Programming (ECOOP 2022). Dagstuhl Artifacts Series (DARTS), Volume 8, Issue 2, pp. 9:1-9:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{lagaillardie_et_al:DARTS.8.2.9, author = {Lagaillardie, Nicolas and Neykova, Rumyana and Yoshida, Nobuko}, title = {{Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)}}, pages = {9:1--9:16}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2022}, volume = {8}, number = {2}, editor = {Lagaillardie, Nicolas and Neykova, Rumyana and Yoshida, Nobuko}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.8.2.9}, URN = {urn:nbn:de:0030-drops-162075}, doi = {10.4230/DARTS.8.2.9}, annote = {Keywords: Rust language, affine multiparty session types, failures, cancellation} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida. Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 4:1-4:29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{lagaillardie_et_al:LIPIcs.ECOOP.2022.4, author = {Lagaillardie, Nicolas and Neykova, Rumyana and Yoshida, Nobuko}, title = {{Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {4:1--4:29}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.4}, URN = {urn:nbn:de:0030-drops-162324}, doi = {10.4230/LIPIcs.ECOOP.2022.4}, annote = {Keywords: Rust language, affine multiparty session types, failures, cancellation} }
Feedback for Dagstuhl Publishing